NICTA's formal code verification technology has scored a place in MIT Technology Review's 2011 TR10, an annual list of what the Review assesses to be the world's ten most important emerging technologies.
NICTA spin-off Open Kernel Labs (OK Labs) has released a version of its microkernel mobile operating system that, it says, will enable devices to run mission-critical applications with guaranteed and mathematically proven security in parallel with the device's normal insecure applications.
Software from Australia's Open Kernel Labs has been deployed in more than one billion mobile handsets.
NICTA spin-off Open Kernel Labs (OK Labs) has announced general availability of its 'One Core' software for Android based phones, claiming it will enable semiconductor suppliers, handset manufacturers and mobile network operators to streamline the development and delivery of low-cost, mass-market Android smartphones.
Most cybersecurity is making up for weak platforms. We need to address the fundamentals, design platforms that prevent out-of-bounds access[…]
For most developers the security/performance trade off is still the hardest one to tackle, even as the cost of processing[…]
RISC has been overhyped. While it is an interesting low-level processor architecture, what the world needs is high-level system architectures,[…]
There are two flaws that are widespread in the industry here. The first is that any platform or language should[…]
Ajai Chowdhry, one of the founders and CEO of HCL is married to a cousin of a cousin of mine.[…]